221. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand, 0591-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Programming languages )Electronic computers(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
222. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M4I5
1988
223. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
224. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
پدیدآورنده : Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
رده :
QA
76
.
7
.
D6813
2011
225. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده : Di Cosmo, Roberto, 3691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
226. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
227. Journal on data semantics I
پدیدآورنده : / Stefano Spaccapiertra, Sal March, Karl Aberer (eds.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Semantics,Semantics.
228. Journal on data semantics I
پدیدآورنده : Stefano Spaccapietra, Sal March, Karl Aberer )eds.(
کتابخانه: (طهران)
موضوع : ، Semantic web,، Database management,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2800
229. Journal on data semantics I
پدیدآورنده : / Stefano Spaccapietra ... [et al.], (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Database management.,Programming languages (Electronic computers)--Semantics
230. Journal on data semantics II
پدیدآورنده : Stefano Spaccapietra... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Semantic web,، Database management,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3360
231. Journal on data semantics VI
پدیدآورنده : / Stefano Spaccapietra (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Semantics,Database management.
232. Journal on data semantics VI
پدیدآورنده : / Stefano Spaccapietra, Karl Aberer, Philippe Cudrae-Mauroux (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Database management.,Programming languages (Electronic computers)--Semantics
233. Journal on data semantics VII
پدیدآورنده : / Stefano Spaccapietra ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Semantic Web.,Ontology.,Semantics--Data processing,Programming languages (Electronic computers)--Semantics
234. Journal on data semantics XIII
پدیدآورنده : Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ontology,Programming languages (Electronic computers)-- Semantics,Semantic Web,Semantics-- Data processing
رده :
QA76
.
7
.
J63
2009eb
235. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
236. Language architectures and programming environments
پدیدآورنده : editors T. Ichikawa, H. Tsubotani
کتابخانه: (طهران)
موضوع : Computer architecture - Addresses, essays, lectures , Programming languages )Electronic computers( - Addresses, essays, lectures
رده :
QA
76
.
9
.
A73
L36
1992
237. Language design and programming methodology : proceedings of a Symposium held in Sydney, Australia, 10-11 September, 1979
پدیدآورنده : edited by Jeffrey M. Tobias
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
79
238. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
پدیدآورنده : edited by Jeffrey M. Tobias
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
239. Language hierarchies and interfaces : International Summer School
پدیدآورنده : F.L. Bauer...]et al.[; edited by F.L. Bauer, K. Samelson
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
46
240. Language hierarchies and interfaces : international summer school
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
